21. Gödel meets Einstein :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Einstein, Albert,1879-1955.,Gödel, Kurt.,Einstein, Albert,1879-1955.,Gödel, Kurt-- Et le concept du temps.,Einstein, Albert,1879-1955,Einstein, Albert,1879-1955.,Einstein, Albert,1879-1955.,Gödel, Kurt-- Zeitreise.,Gödel, Kurt,1906-1978.,Gödel, Kurt.,Gödel, Kurt.,Time-- History-- 20th century.,Temps-- Histoire-- 20e siècle.,08.31 metaphysics.,Filosofie.,Idealisme.,Tijd.,Time.,Time.,Zeitreise-- Gödel, Kurt.

رده :
BD638
.
Y68
1999

22. Gödel nemteljességi tételei :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt.,Axióma.,Gödel-tétel.,Halmazelmélet-- axiomatikus.,Matematika filozófiai problémái.,Matematikai logika.

23. Gödel remembered :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique

رده :
QA9
.
A1
G63
1987

24. Godel's disjunction : the scope and limits of mathematical knowledge

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy

رده :
QA
8
.
4
.
H67G6

25. Gödel's theorem in focus /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt.,Gödel's theorem.,Gödel's theorem.,Gödel's theorem.,Logic, Symbolic and mathematical.

رده :
QA9
.
65
.
G63
1989

26. Godelosscher, Bach: an eternal golden braid

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Mathematics,، Symmetry,، Artificial intelligence,، Bach, Johann Sebastian, 5861-0571,، Escher, Maurits Cornelis, 8981-1791,، Godel, Kurt

رده :
QA
9
.
8
.
H63
1980

27. Interpreting Godel : critical essays

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy

رده :
QA
9
.
2
.
I586

28. Kurt Gödel :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt-- Influence.,Gödel, Kurt.,Mathematics-- Philosophy.,Influence (Literary, artistic, etc.),Mathematics-- Philosophy.

رده :
QA8
.
6

29. Kurt Gödel and the foundations of mathematics :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt,Gödel's theorem,Mathematics-- Philosophy

رده :
QA9
.
65
.
K87
2011

30. Kurt Godel and the foundations of mathematics : horizons of truth

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Godel's theorem,Philosophy ، Mathematics,، Godel, Kurt Friedrich, 6091-8791

رده :
QA
9
.
65
.
K87

31. Logical dilemmas :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt,Logicians-- Austria, Biography,Logicians-- United States, Biography

رده :
QA29
.
G58
D39
1997

32. Logical dilemmas : the life and work of Kurt Godel

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria,Biography ، Mathematicians -- United States,Biography ، Mathematicians -- Austria

رده :
QA
29
.
G58D3

33. Memoirs of a proof theorist : Godel and other logicians

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791

رده :
QA
9
.
54
.
T25G4313
2003

34. Reflections on Kurt Godel

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria

رده :
QA
29
.
G58W33

35. Reflexiones sobre Kurt Gödel

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt, -- 1906-1978.,Mathematik,Philosophie

36. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel

کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)

موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt

رده :
BC
135
.
M6

37. There's something about Gödel :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy

رده :
QA9
.
54
.
B4713
2009

38. There's something about Godel : the complete guide to the incompleteness theorem

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Incompleteness theorems,، Godel's theorem,، Mathematics -- Philosophy,، Godel, Kurt Friedrich, 6091-8791

رده :
QA
9
.
54
.
B47T813

39. Thinking on the Web: Berners-Lee, Godel, and Turning

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، World Wide Web,، Artificial intelligence,، Semantic Web,، Berners-Lee, Tim,، Godel, Kurt,، Turing, Alan Mathison, 2191-4591

رده :
TK
5105
.
888
.
A3755
2009

40. ‏‫‬‭Thinking on the Web :Berners-lee,Godel,and Turing

پدیدآورنده :

کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)

موضوع : Alesso,گودل,Godel,ت‍ری‍ن‍گ‌,Turing,, H. P.,، کورت,, Kurt,، آل‍ن‌ م‍ات‍ی‍س‍ن‌,, Alan Mathison,، ‏‫۱۹۰۶ - ‏۱۹۷۸م.,، ‏‫۱۹۱۲ - ‏۱۹۵۴م.,وب,هوش مصنوعی,وب معناشناختی

رده :
‏‫‬‭
TK
۵۱۰۵
/
۸۸۸ ‏‫‭
/
آ
۷
ت
۹ ۱۳۸۸‬